بصورة مبرهنة بالانجليزي

أمثلة

However, due to the lack of algorithms that scale well with the number of states (or scale to problems with infinite state spaces), simple exploration methods are the most practical.
ومع ذلك ، نظرا لعدم وجود خوارزميات بصورة مبرهنة مقياس جيد مع عدد من الدول (أو نطاق إلى مشاكل لا حصر له الدولة الأماكن محدود), بسيطة استكشاف الأساليب الأكثر عملية.
There exist information-theoretically secure schemes that provably cannot be broken even with unlimited computing power—an example is the one-time pad—but these schemes are more difficult to implement than the best theoretically breakable but computationally secure mechanisms.
توجد مخططات امن نظرية المعلومات بصورة مبرهنة لا يمكن كسرها حتى مع الحوسبة غير محدودة الطاقة و من الأمثلة على هذااللوحة الغير متكررة ، و لكن هذه المخططات هي أكثر صعوبة للتنفيذ من آليات أفضل قابلة للكسر من الناحية النظرية و لكنها آمنة حسابيا .